Rinterface(A)
== case A of 
== Rnone => Rnone()
== Rplus(left,right)=>rec1,rec2.let A = rec1 in
== Rplus(left,right)=>rec1,rec2.let Alet B = rec2 in
== Rplus(left,right)=>rec1,rec2.let Alet Bif Rnone?(A) then B if Rnone?(B) then A else A  B fi 
== Rinit(loc,T,x,v)=> Rnone()
== Rframe(loc,T,x,L)=> Rnone()
== Rsframe(lnk,tag,L)=> Rnone()
== Reffect(loc,ds,knd,T,x,f)=> if isrcv(knd) then Reffect(loc;ds;knd;T;x;f) else Rnone() fi 
== Rsends(ds,knd,T,l,dt,g)=> Rsends(ds;knd;T;l;dt;g)
== Rpre(loc,ds,a,T,P)=> Rnone()
== Rkframe(loc,k,L)=> Rnone()
== Rksframe(loc,k,L)=> Rnone()
== Rrframe(loc,x,L)=> Rnone() 

latex

Definitions	Rnone(), Rsends(ds;knd;T;l;dt;g), Reffect(loc;ds;knd;T;x;f), isrcv(k), if b then t else f fi , left  right, Rnone?(x1), let x = a in b(x), es realizer ind
FDL editor aliases	Rinterface